#include "stdio.h"
#include "stdlib.h"
#include "test7.h"
int main()
{
    exec_string();
    char *s = get_string();
    printf("111:%s\n", s);
    // exec_string2();
    // char *s2 = get_string2();
    // printf("2222:%s\n", s2);
    return 0;
}